|
|
Computational Design Modelling
by Gengnagel, Christoph.
Publication:
. XVI, 347 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leonardo da Vinci’s Giant Crossbow
by Landrus, Matthew.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecture of Brazil
by Segawa, Hugo.
Publication:
. XIII, 266 p. 144 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Synthesis of Embedded Software
by Shukla, Sandeep K.
Publication:
. XV, 300p. 200 illus., 100 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
On and Off-Chip Crosstalk Avoidance in VLSI Design
by Duan, Chunjie.
Publication:
. XXIV, 240p. 600 illus., 300 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Designing Embedded Systems with the SIGNAL Programming Language
by Gamatie, Abdoulaye.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Innovation in Product Design
by Bordegoni, Monica.
Publication:
. XIV, 188p. 99 illus., 3 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Techniques for Structural Health Monitoring
by Gopalakrishnan, Srinivasan.
Publication:
. XVI, 500 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Design Creativity 2010
by Taura, Toshiharu.
Publication:
. X, 330 p. 191 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fatigue and Fracture Reliability Engineering
by Xiong, J.J.
Publication:
. XIV, 214 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
New World Situation: New Directions in Concurrent Engineering
by Pokojski, Jerzy.
Publication:
. XX, 610 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Constraint Solving and Language Processing
by Duchier, Denys.
Publication:
. XII, 179 p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Legay, Axel.
Publication:
. XVII, 426 p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Aspects of Computing – ICTAC 2013
by Liu, Zhiming.
Publication:
. XII, 445 p. 100 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Architecture
by Drira, Khalil.
Publication:
. XVI, 354 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inductive Logic Programming
by Riguzzi, Fabrizio.
Publication:
. X, 273 p. 81 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Language and Automata Theory and Applications
by Dediu, Adrian-Horia.
Publication:
. XIV, 580 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Piterman, Nir.
Publication:
. XXIV, 646 p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Beckert, Bernhard.
Publication:
. X, 356 p. 129 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Qadeer, Shaz.
Publication:
. XII, 322 p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|